ea0ae6a5fd9f19960611014d0044acc9f429bae8,sre/io.janusproject/io.janusproject.tests/src/io/janusproject/tests/bugs/BugS546.java,KillWaiterAgent,agentKilledBehaviorUnit,#AgentKilled#,201
Before Change
}
private void agentKilledBehaviorUnit(AgentKilled occurrence) {
if (this.agents.contains(occurrence.getSource().getUUID())) {
if (LOG) {
System.out.println("AGENT KILLED: " + occurrence.getSource().getUUID());
}
After Change
}
final boolean b;
final int size1;
synchronized (this.presentedAgents) {
b = this.presentedAgents.remove(occurrence.getSource().getUUID());
size1 = this.presentedAgents.size();
}
if (b) {